The Joint Non-Trivialization Theorem, two Definability Theorems and the generalized Quantifier Elimination Theorem are proved for J 3-theories. These theories are three-valued with more than one distinguished truth-value, reflect certain aspects of model type logics and can. be paraconsistent. J 3-theories were introduced in the author's doctoral dissertation.

No Órganon Aristóteles descreve alguns esquemas dedutivos nos quais a presença de inconsistências não acarreta a trivialização da teoria lógica envolvida. Esta tese é corroborada por três diferentes situações teóricas estudadas por ele, as quais são apresentadas neste trabalho. Analizamos o esquema de inferência utilizado por Aristóteles no Protrepticus e o método de demonstração indireta para os silogismos categóricos. Ambos os métodos exemplificam como Aristóteles emprega estratégias de redução ao absurdo logicamente clássicas. Na sequência, discutimos os silogismos válidos a partir (...) de premissas opostas (contrárias e contraditórias) estudadas pelo Estagirita no Analytica Priora (B15). De acordo com o autor, os seguintes silogismos são válidos a partir de premissas opostas, nos quais letras latinas minúsculas denotam termos como sujeito e predicado, enquanto que letras latinas maiúsculas denotam proposições categóricas tal como na notação tradicional: (i) na segunda figura, Eba,Aba ` Eaa (Cesare), Aba, Eba ` Eaa (Camestres), Eba, I ba ` Oaa (Festino), e Aba,Oba ` Oaa (Baroco); (ii) na terceira, Eab,Aab ` Oaa (Felapton), Oab,Aab ` Oaa (Bocardo) e Eab, Iab ` Oaa (Ferison). Por fim, discutimos a passagem do Analytica Posteriora (A11) no qual Aristóteles enuncia que o Princípio de Não-Contradição não é, em geral, pressuposto de toda demonstração (silogismo científico), mas apenas daquelas nas quais a conclusão deve ser provada a partir do Princípio; o Estagirita enuncia que se um silogismo da primeira figura tiver o termo maior consistente, os outros termos da demonstração podem ser separadamente inconsistentes. Estes resultados permitem-nos propor uma interpretação de sua teoria dedutiva como uma teoria paraconsistente lato sensu. Primeiramente, efetuamos uma análise hermenêutica, avaliando seu significado lógico e a correlação desses resultados com outros aspectos da filosofia de Aristóteles. Em segundo lugar, consignamos uma interpretação dos silogismos aristotélicos a partir de premissas opostas à luz dos antilogismos propostos por Christine Ladd-Franklin em 1883, e da demonstração aristotélica com termos inconsistentes nas lógicas paraconsistentes Cn, 1 n !, introduzidas por da Costa em 1963. Esses dois aspectos não parecem ter sido ainda detalhadamente analisados na literatura. DOI:10.5007/1808-1711.2010v14n1p71. (shrink)

After a brief promenade on the several notions of translations that appear in the literature, we concentrate on three paradigms of translations between logics: ( conservative ) translations , transfers and contextual translations . Though independent, such approaches are here compared and assessed against questions about the meaning of a translation and about comparative strength and extensibility of a logic with respect to another.

This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and updated (...) by their authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results. (shrink)

In 1999, da Silva, D'Ottaviano and Sette proposed a general definition for the term translation between logics and presented an initial segment of its theory. Logics are characterized, in the most general sense, as sets with consequence relations and translations between logics as consequence-relation preserving maps. In a previous paper the authors introduced the concept of conservative translation between logics and studied some general properties of the co-complete category constituted by logics and conservative translations between them. In this paper we (...) present some conservative translations involving classical logic, Lukasiewicz three-valued system L₃, the intuitionistic system Iⁱ and several para-consistent logics, as for instance Sette's system Pⁱ, the D'Ottaviano and da Costa system J₃ and da Costa's systems $\text{C}_{n}$ , 1 ≤ n ≤ ω. (shrink)

This work presents some basic results on a theory of translations between logics and a short revision about Łukasiewicz's logics. Then, it is shown, using facts about algebraic semantics, that there is a conservative translation from every finite Łukasiewicz's logic into classical logic. However, this is not a constructive result.

In this paper we introduce the concept of conservative translation between logics. We present some necessary and sufficient conditions for a translation to be conservative and study some general properties of logical systems, these properties being characterized by the existence of conservative translations between the systems. We prove that the class constituted by logics and conservative translations between them determines a co-complete subcategory of the bi-complete category constituted by logics and translations.

Giordano Bruno (1548-1600), who died at the stake, is one of the best-known symbols of anti-establishment thought. The theme of this volume, which is offered as a collection of essays to honor the distinguished Bruno scholar Hilary Gatti, reflects her constant concern for the principles of cultural freedom and independent thinking. Several essays deal with Bruno himself, including an analysis of the Eroici furori, a study of his reception in relation to the group known as the Novatores, and discussions of (...) several important aspects of his stay in England. The authors and texts discussed here are linked by a relentless interest in the question of authority and originality, and they range from literary figures such as Alberti (1404-72), Vasari (1511-74) and the proponents of quantitative verse in sixteenth-century England to controversial philosophers who, like Bruno, were condemned by the Church, such as Tommaso Campanella (1568-1639) and Giulio Cesare Vanini (1585-1619). Taken together, these chapters show how much that was new and revolutionary in early modern culture came from its confrontation with the past. Martin McLaughlin is Agnelli-Serena Professor of Italian at Oxford. Elisabetta Tarantino is a Teaching Fellow in the Department of Italian at the University of Warwick. (shrink)

The Papers In This Volume, Presented At A Seminar Organised By The Gurukula Kangri Viswavidyalaya, Offer A Kaleidoscopic View Of Myriad Aspects Of Himalayan Eco-System Like Causes Of Its Degradation, Impact Of Hydroelectric To Deforestation And Role Of Wild Life. The Deliberations Also Highlight The Relevance Of Vedic Philosophy In Conserving The Fragile Himalayan Eco-System.

In 1999, da Silva, D'Ottaviano and Sette proposed a general definition for the term translation between logics and presented an initial segment of its theory. Logics are characterized, in the most general sense, as sets with consequence relations and translations between logics as consequence-relation preserving maps. In a previous paper the authors introduced the concept of conservative translation between logics and studied some general properties of the co-complete category constituted by logics and conservative translations between them. In this paper we (...) present some conservative translations involving classical logic, Lukasiewicz three-valued system L3, the intuitionistic system I1 and several paraconsistent logics, as for instance Sette's system P1, the D'Ottaviano and da Costa system J3 and da Costa's systems Cn, 1≤ n≤ω. (shrink)

Receive free email alerts when new articles cite this article - sign up in the box at the top right corner of the article..

This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the many-valued calculi of Post and Lukasiewicz.

In their paper, “Helpful Lessons and Cautionary Tales: How Should COVID-19 Drug Development and Access Inform Approaches to Non-Pandemic Diseases?” Holly Fernandez Lynch and colleagues have present...

In this paper we present a new hierarchy of analytical tableaux systems TNDC n, 1≤n (...) and also prove that these systems are logically equivalent to the corresponding systems Cn, 1≤nshrink)

Contributed research papers presented at a National Seminar organized under the joint auspices of Rashtriya Sanskrit Vidyapeeth, Tirupati and Indian Council of Social Science Research, New Delhi from 27th to 29th March 2004 at R.S. Vidyapeeth, Tirupati.

The idea of a data transfer agreement (DTA) template for the South African (SA) research community is receiving increasing attention. Whiledeveloping such a DTA template is certainly a worthwhile project, questions regarding the project’s practical execution should be addressed,including how to best operationalise the envisioned DTA template, and the content of the envisioned DTA template. It is proposed that anempowerment approach be followed in operationalising the envisioned DTA template, which is contrasted with the regulatory approachfollowed with the material transfer agreement (...) that the Minister of Health promulgated in 2018. While the regulatory approach would entailgovernment making the use of the envisioned DTA template compulsory regardless of the quality of such a template, the empowermentapproach, by contrast, entails a focus on developing a high-quality, professionally drafted DTA template for the SA research community andmaking the use thereof a matter of own choice. Regarding the content of the envisioned DTA template, four hot-button content provisionsare analysed, and it is argued that SA research institutions and researchers should be empowered to: (i) have clarity and legal certaintyregarding their ownership of data, where relevant; (ii) be able to commercialise their research findings without unnecessary contractualconstraints; (iii) avoid falling into the trap of unlawful benefit sharing with research participants; and (iv) be aware that their legal role asresponsible parties, where relevant, cannot be contracted out via a DTA. (shrink)

From March 1841 until the end of 1845, W. R. Grove held the post of Professor of Experimental Philosophy at the London Institution. No previous study of the Institution has dealt in detail with the period of Grove's tenure of this, the first professorship. Here, by reference to the various manuscripts and publications of the Institution, and to Grove's papers and correspondence, it is possible to describe the background to Grove's appointment and the achievements of his term of office.

The recently published Report of theAHAG on the Operation of NHS Research Ethics Committees advocates major reforms of the NHS research ethics committees system. The main implications of the proposed changes and their probable effects on the major stakeholders are described.The Ad Hoc Advisory Group on the operation of NHS research ethics committees, set up in November 2004 by Lord Warner on behalf of the Department of Health, submitted its report in June 2005.1 The report advocates major reforms of the (...) research ethics committee system. The primary aim of the report is to streamline the processes around the approval of research projects and to pursue conformity of governance across Europe. Implicit in the report is the contention that failure to achieve this objective would be harmful to everyone with vested interests in improving health and social care. Moreover, it is stated that the reforms will enhance the mechanisms that protect the interests of all parties concerned.1Being mindful of two published critiques of the Warner Report, we suggest that its alleged benefits should not be taken at face value.2,3 In fact, the reformed system will give rise to moral failings akin to those of the existing system, but will differ from the existing system in its effect on the stakeholders. Thus, whereas the outgoing system has given each stakeholder a unique mixture of benefit and harm, the incoming system offers benefit only to sponsors and researchers and nothing but detriment to participants in research and consumers of its products.In the light of this conclusion, we finally suggest that the Warner Report be construed not merely as an ill-considered document, but rather as an ideological reflection of a long-established hegemonic contract fine-tuning itself to contemporary global challenges.To avoid …. (shrink)

In the Organon Aristotle describes some deductive schemata in which inconsistencies do not entail the trivialization of the logical theory involved. This thesis is corroborated by three different theoretical topics by him discussed, which are presented in this paper. We analyse inference schema used by Aristotle in the Protrepticus and the method of indirect demonstration for categorical syllogisms. Both methods exemplify as Aristotle employs classical reductio ad absurdum strategies. Following, we discuss valid syllogisms from opposite premises (contrary and contradictory) studied (...) by the Stagerian in the Analytica Priora (B15). According to him, the following syllogisms are valid from opposite premises, in which small Latin letters stand for terms such as subject and predicate, and capital Latin letters stand for the categorical propositions such as in the traditional notation: (i) in the second figure, Eba,Aba ` Eaa (Cesare), Aba, Eba ` Eaa (Camestres), Eba, I ba ` Oaa (Festino), and Aba,Oba ` Oaa (Baroco); (ii) in the third one, Eab,Aab ` Oaa (Felapton), Oab,Aab ` Oaa (Bocardo) and Eab, Iab ` Oaa (Ferison). Finally, we discuss the passage from the Analytica Posteriora (A11) in which Aristotle states that the Principle of Non-Contradiction is not generally presupposed in all demonstrations (scientific syllogisms), but only in those in which the conclusion must be proved from the Principle; the Stagerian states that if a syllogism of the first figure has the major term consistent, the other terms of the demonstration can be each one separately inconsistent. These results allow us to propose an interpretation of his deductive theory as a broad sense paraconsistent theory. Firstly, we proceed to a hermeneutical analysis, evaluating its logical significance and the interplay of the results with some other points of Aristotle’s philosophy. Secondly, we point to a logical interpretation of the Aristotelian syllogisms from opposite premises in the antilogisms method proposed by Christine Ladd-Franklin in 1883, and we also present a logical treatment of the Aristotelian demonstration with inconsistent material in the paraconsistent logics Cn, 1 _ n _!, introduced by da Costa in 1963. These two issues seem having not yet been analysed in detail in the literature. (shrink)

New Jersey residents who tested their homes for radon and found more than four picocuries per liter were surveyed about their knowledge, emotions, attitudes, and intentions to take remedial action Respondents proved well informed, but radon levels were not highly correlated with any of the response variables. Overoptimism was more common than overreaction. The results suggest that active guidance is needed to ensure appropriate responses to environmental hazards, like radon, that require individual remediation. Simple information dissemination alone seems inadequate.

O principal objetivo deste artigo é apresentar uma identidade possível entre os conceitos de forma e de qualidade na filosofia de Charles Sanders Peirce, por meio de seus argumentos em sua Semiótica e em sua Cosmologia. Em outras palavras, nosso objetivo é mostrar que a primeiridade consiste em uma forma, parte constitutiva da natureza da terceiridade, na medida em que a tendência à generalização ou à aquisição de hábitos estava prefigurada na origem do cosmos. De natureza indutiva, o passo do (...) nada absoluto para uma unidade de qualidades prefigura um universo inteligível de natureza formal. Esta unidade já pode ser considerada uma restrição de uma potencialidade de força maior presente naquele nada germinal: a primeira categoria é configurada, então, como sendo de natureza potencial qualitativa. O adjetivo “qualitativa” apresenta uma espécie de restrição da potencialidade para a qual nos referimos: tal potencial é desta ou daquela espécie. A segunda categoria, por sua vez, surge de um caos de sentimentos: não é a interação entre tais sentimentos que traz a segunda categoria à realidade, mas a mera manifestação do sentimento que é, por sua vez, caracterizado como a aparência momentânea da qualidade. Esta aparência não é potencial, mas atual. Ela já é um fato; ela já é uma restrição da potencialidade qualitativa. Sentimento enquanto atualidade e qualidade em seu estado potencial prefiguram a origem do outro que se apresenta: este outro está, portanto, inscrito na natureza da qualidade e já apresenta a dualidade objeto e objeto representado. Por fim, a tendência à generalização é reconhecida por meio das relações que as qualidades estabelecem entre si: na medida em que o aparecimento de uma ou mais qualidades se manteve insistente, tais qualidades começaram a estabelecer relações entre si, permitindo a formação indutiva de leis e objetos mais complexos, mas sempre devedores do material disponível prefigurado na origem: qualidades. (shrink)